An Assessment of the Real - Time A pplicatio n Capabilities of the SIFT

نویسنده

  • Ricky W. Butler
چکیده

SUMMARY The SIFT experimentalcomputer system was designed to meet extremely • high reliabilityrequirementsand to facilitatea formal proof of its correctness. These severe design constraintshave impactedthe user-interfacein severalways. The system providesthe user with static, nonpreemptiveschedulingand requiresthat all tasks execute in less than 3 milliseconds. A tedious generationof vote and scheduletables is required of the user to coordinatethe redundancymanagementcapabilitiesof the SIFT system with his applicationworkload. The characteristicsof this user interfaceand its impact on applicationsystem design are assessed in this paper.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Technological capabilities assessment in the transformer industry: A case-study of investigating technological capabilities in Iran-Transfo Company

In this research is presented a method for technological capabilities assessment in a company in transformer industry. Used and discussed criteria in this technique are merely developed to assess technological capabilities in transformer industry. Based on literature, technological capabilities in transformer industry are divided into three main categories: production capability, development an...

متن کامل

Real-Time Building Information Modeling (BIM) Synchronization Using Radio Frequency Identification Technology and Cloud Computing System

The online observation of a construction site and processes bears significant advantage to all business sector. BIM is the combination of a 3D model of the project and a project-planning program which improves the project planning model by up to 6D (Adding Time, Cost and Material Information dimensions to the model). RFID technology is an appropriate information synchronization tool between the...

متن کامل

Technology Assessment Model with Dynamic Capabilities Approach in Small and Medium Enterprises

In the technology-driven industries like automotive industry, the success of the companies depends on their ability to provide new and continuous innovations to the market. In this regard, technological capabilities lead to a competitive advantage. The purpose of this study is to identify the effective factors in the technology assessment based on the dynamic capabilities of small and medium au...

متن کامل

Studying humane endpoints in a rat model of mammary carcinogenesis

Objective(s): The present work intended to clearly define the most adequate humane endpoints in an experimental assay of mammary carcinogenesis in rats. Materials and Methods: Animals were observed twice a day; all parameters were registered once a week and the euthanasia endpoints were established in order to monitor the animal welfare/...

متن کامل

Real Time Electronic Formative Assessment in Medical Education and its Impact on Learning

Introduction: The aim of this study was to investigate the learning environment based on real time electronic formative assessment in medical education and its impact on learning. Methods: This randomized clinical trial was conducted on 323 students studying at the Medical School of Mashhad University of Medical Sciences, Mashhad, Iran, during the first semester of the academic year of 2017-201...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009